Reaction constraints for the pi-calculus: a language for the stochastic and spatial modeling of cell-biological processes
نویسنده
چکیده
منابع مشابه
Reaction Constraints for the Pi-Calculus
For cell-biological processes, it is the complex interaction of their biochemical components, affected by both stochastic and spatial considerations, that create the overall picture. Formal modeling provides a method to overcome the limits of experimental observation in the wetlab by moving to the abstract world of the computer. The limits of the abstract world again depend on the expressivenes...
متن کاملThe Attributed Pi-Calculus with Priorities
We present the attributed π-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The λ-calculus serves as a constraint language underlying the π-calculus. Interaction constraints subsume priorities, by which to express global aspects of populations. We present a nondeterministic and a stochastic semantics for the attributed π-...
متن کاملA Useful Family of Stochastic Processes for Modeling Shape Diffusions
One of the new area of research emerging in the field of statistics is the shape analysis. Shape is defined as all the geometrical information of an object whose location, scale and orientation is not of interest. Diffusion in shape analysis can be studied via either perturbation of the key coordinates identifying the initial object or random evolution of the shape itself. Reviewing the f...
متن کاملBioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions
We design BioScape, a concurrent language for the stochastic simulation of biological and bio-materials processes in a reactive environment in 3D space. BioScape is based on the Stochastic Pi-Calculus, and it is motivated by the need of individual-based, continuous motion, and continuous space simulation in modeling complex bacteria-materials interactions. Our driving example is a bio-triggered...
متن کاملA Statistical Study of two Diffusion Processes on Torus and Their Applications
Diffusion Processes such as Brownian motions and Ornstein-Uhlenbeck processes are the classes of stochastic processes that have been investigated by researchers in various disciplines including biological sciences. It is usually assumed that the outcomes of these processes are laid on the Euclidean spaces. However, some data in physical, chemical and biological phenomena indicate that they cann...
متن کامل